Creation of Reusable Components Based on Formal Methods

Challenges for repository-based reuse include populating the repository by artifacts that are both useful and usable, organizing the artifacts in a way that promotes easy retrieval and comparison, and providing guidelines to assist necessary modiications. We emphasize the aspect of reuse that a component can be constructed by modifying another component. Clustering analysis is applied to the formal speciication of an application to group components that are similar in function into clusters. Generic requirements are extracted for the resulting clusters. The repository is populated by frameworks that are generated to accomplish the requirements. The individual components are then implemented by modifying the appropriate framework of the same clusters.